Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
101	Term structure in FG: a modest proposal Evelien Keizer, University of Amsterdam 1. Introduction1 Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2009-12-01 07:07:32 Linguistics Syntax Grammar Logic Philosophy of language Mathematical logic Propositional calculus Semantics Predicate Clause Argument Complement
102	An Essay Concerning Human Understanding Book III: Words John Locke Copyright © 2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been a Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Semantics Empiricists Creativity Thought Philosophical logic An Essay Concerning Human Understanding Idea Meaning Theory of Forms John Locke Definition
103	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
104	Toward a Logic of Cumulative Quantification Makoto Kanazawa and Junri Shimada 1 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:07 Quantification Inference Pragmatics Semantics Predicate logic Quantifier Implicature Scalar implicature Universal quantification FO Cumulativity
105	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
106	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics
107	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTIE OF CHANGES 241 DATE: AUGUST 1, 2016 PROJECT DP0107 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:32 Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics International System of Units
108	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 228 DATE: AUGUST 1, 2016 PROJECT DP0058 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:17 Lexicography Definition Meaning Philosophical logic Philosophy of language Semantics International System of Units Symbol
109	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 233 DATE: AUGUST 1, 2016 PROJECT DP0071 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:37 Philosophical logic Meaning Definition Lexicography Semantics International System of Units ASCII Concordance
110	THE SYNTAX AND SEMANTICS OF GEOGRAPHICAL NAMES B A Meiring Departement Afrikaans, University of South Africa, South Africa ppin P.S.Hattingh, N.Kadmon, P.E.Raper and I.Booysen (eds.) , Training course in Toponym Add to Reading List Source URL: unstats.un.org Language: English - Date: 2015-05-02 07:50:37 Semantics Philosophy of language Meaning Philosophical logic Names Proper name Presupposition Sense and reference Semantic domain Definition Proper noun Descriptivist theory of names

UPDATE